Skip to content

Webwork files#1154

Merged
oscarlevin merged 5 commits into
mainfrom
webwork-files
May 28, 2026
Merged

Webwork files#1154
oscarlevin merged 5 commits into
mainfrom
webwork-files

Conversation

@oscarlevin

Copy link
Copy Markdown
Member

Once the assembly-id PR is approved in core pretext, this can be merged and the CLI will correctly check for each webwork representation file as part of the build process.

@oscarlevin oscarlevin merged commit 35c9028 into main May 28, 2026
8 checks passed
@oscarlevin oscarlevin deleted the webwork-files branch May 28, 2026 21:03
oscarlevin added a commit that referenced this pull request May 29, 2026
* first try

* add per-problem webwork representation file checking

* format

* fix types

* update to latest core commit
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant